#include <lkhos/tty/tty.h>
#include <lkhos/arch/gdt.h>
#include <lkhos/arch/idt.h>

void _kernel_init() {
    _gdt_init();
    _idt_init();
}

int _kernel_main() {
    tty_set_theme(VGA_COLOR_LIGHT_BLUE, VGA_COLOR_BLACK);
    tty_put_str("Hello world!!!\n");
    //asm("int $0");
    return 1 / 0;
}